Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
331	Automated Feedback Generation for Introductory Programming Assignments Rishabh Singh Sumit Gulwani Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-06-06 20:41:57 Mathematical analysis Function Constraint logic programming Unification Exponentiation Derivative Mathematics Logic programming Functions and mappings
332	How I Entered Constraints (and Met Ugo at the Doorway): Some of the Early Milestones Rina Dechter UC-Irvine Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-09-08 14:27:27 Software engineering Local consistency Flow network A* search algorithm Heuristic Constraint Decomposition method Complexity of constraint satisfaction Constraint programming Artificial intelligence Graph theory
333	9 On the Power of Belief Propagation: A Constraint Propagation Perspective R. D ECHTER , B. B IDYUK , R. M ATEESCU Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2012-01-25 15:39:31 Local consistency Probability theory Bayesian statistics Statistical models Belief propagation Bayesian network Tree decomposition Constraint satisfaction problem Flow network Graph theory Constraint programming Graphical models
334	Robust Solutions for Constraint Satisfaction and Optimization Emmanuel Hebrard and Brahim Hnich and Toby Walsh 12 Abstract. Super solutions are a mechanism to provide robustness to constraint programsThey are solu Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:32 Computing Constraint satisfaction problem Constraint satisfaction Local consistency Backtracking Optimization problem Mathematical optimization Min-conflicts algorithm Linear programming relaxation Constraint programming Software engineering Computer programming
335	Dimensions in Program Synthesis [Invited Talk Paper] Sumit Gulwani Microsoft Research, Redmond, WA, USA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-06-02 04:17:08 Artificial intelligence Programming paradigms Cybernetics Formal methods Logic in computer science Algorithm Synthesizer Program synthesis Computer Software engineering Constraint programming Computing
336	Metaheuristics for solving a Multimodal Home-Health Care Scheduling Problem Gerhard Hiermann∗, Andrea Rendl†, Matthias Prandtstetter†, Jakob Puchinger†and G¨ unther Raidl‡ November 7, 2011 Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-09-23 07:14:30 Numerical analysis Science Applied mathematics Search algorithms Constraint programming Genetic algorithm Memetic algorithm Hyper-heuristic Local search Operations research Mathematical optimization Heuristics
337	Solving Disjunctive Constraints for Interactive Graphical Applications Kim Marriott1 , Peter Moulder 1 , Peter J. Stuckey2 , and Alan Borning 3 3 Add to Reading List Source URL: constraints.cs.washington.edu Language: English - Date: 2001-09-10 14:24:26 Computer programming Computing Mathematical optimization Simplex algorithm Constraint satisfaction problem Slack variable Algorithm Cassowary Constraint satisfaction Constraint programming Operations research Software engineering
338	The Range Constraint: Algorithms and Implementation Christian Bessiere1 , Emmanuel Hebrard2 , Brahim Hnich3 , Zeynep Kiziltan4 , and Toby Walsh2 1 Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:31 Computing Local consistency Constraint satisfaction problem Constraint satisfaction Maximum flow problem Constraint inference Constraint programming Software engineering Computer programming
339	νZ - An Optimizing SMT Solver Nikolaj Bjørner1 , Anh-Dung Phan2 , and Lars Fleckenstein3 1 Microsoft Research, Redmond, WA, USA DTU Compute, Technical University of Denmark Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-01-22 06:10:53 Operations research Constraint programming Electronic design automation Formal methods NP-complete problems Satisfiability Modulo Theories Mathematical optimization Linear programming Boolean satisfiability problem Theoretical computer science Applied mathematics Mathematics
340	10 TECHNOLOGY IRELANDForeseeing problems, finding choices multinational involved Add to Reading List Source URL: www.cse.cuhk.edu.hk Language: English - Date: 2007-06-23 04:49:34 Declarative programming Alcatel-Lucent Sudoku E-procurement Computing Business Constraint programming Mathematics Recreational mathematics

UPDATE